John lennox vs peter atkins